Strongly Semicontinuous Domains and Semi-FS Domains
نویسندگان
چکیده
We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpo L is strongly semicontinuous if and only if L is semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. Some interpolation properties of semiway-below relations in (strongly) semicontinuous bc-domains are given. In terms of these properties, it is proved that strongly semicontinuous bc-domains, in particular strongly semicontinuous lattices, are all semi-FS domains.
منابع مشابه
A note on the problem when FS-domains coincide with RB-domains
In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...
متن کاملA duality between fuzzy domains and strongly completely distributive $L$-ordered sets
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
متن کاملA note on non lower semicontinuous perimeter functionals on partitions
We consider isotropic non lower semicontinuous weighted perimeter functionals defined on partitions of domains in R. Besides identifying a condition on the structure of the domain which ensures the existence of minimizing configurations, we describe the structure of such minima, as well as their regularity.
متن کاملEntropy method for line-energies
In this paper we analyze energy functionals concentrated on the discontinuity lines of unitlength, divergence-free 2D vector fields. The motivation comes from thin-film micromagnetics where these functionals correspond to mesoscopic wall-energies. A natural issue consists in characterizing the line-energy densities for which the functionals are lower semicontinuous for a relevant topology. In f...
متن کاملA Qualitative Phragmèn-Lindelöf Theorem for Fully Nonlinear Elliptic Equations
We establish qualitative results of Phragmèn-Lindelöf type for upper semicontinuous viscosity solutions of fully nonlinear partial differential inequalities of the second order in general unbounded domains of IR.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
دوره 2014 شماره
صفحات -
تاریخ انتشار 2014